complete vector lattice

复向量格